
//  Copyright (C) 2007 Richard Uhler

//?d:Empty for loop to 10
//?e:0123456789done

i = 0;
for ( ; ; )
{
    if (i == 10)
    {
        break;
    }
    print(i);
    i++;
}
print("done");

